<HTML><HEAD><TITLE>get_float_bounds(?Var, -Lo, -Hi)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>get_float_bounds(?Var, -Lo, -Hi)</H1>
Retrieve the current bounds of Var as floats.
<DL>
<DT><EM>Var</EM></DT>
<DD>A variable or a number
</DD>
<DT><EM>Lo</EM></DT>
<DD>Lower bound
</DD>
<DT><EM>Hi</EM></DT>
<DD>Upper bound
</DD>
</DL>
<H2>Description</H2>
<P>
   Primitive for retrieving the upper and lower bounds of Var.  Lo and Hi
   return the minimum and maximum (respectively) of the variable's interval
   in floating point format (regardless of the variable's type).  If Var has
   not been declared before, it will be turned into an unrestricted real
   variable.  If Var is a ground number, Lo and Hi will give appropriate
   bounds based on the type and value of Var: exact bounds for floats,
   bounded reals and exactly representable integers, and best safe
   approximations for large integers and rationals.</P>

<H3>Modes and Determinism</H3><UL>
<LI>get_float_bounds(?, -, -) is det
</UL>
<H2>See Also</H2>
<A HREF="../../lib/ic/get_bounds-3.html">get_bounds / 3</A>, <A HREF="../../lib/ic/get_integer_bounds-3.html">get_integer_bounds / 3</A>, <A HREF="../../lib/ic/get_finite_integer_bounds-3.html">get_finite_integer_bounds / 3</A>, <A HREF="../../lib/ic/get_delta-2.html">get_delta / 2</A>, <A HREF="../../lib/ic/get_median-2.html">get_median / 2</A>
</BODY></HTML>
